Merge pull request #1448 from npoushin/npoushin/sgi575-coverity-fixes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Mon, 25 Jun 2018 12:38:29 +0000 (13:38 +0100)
committerGitHub <noreply@github.com>
Mon, 25 Jun 2018 12:38:29 +0000 (13:38 +0100)
npoushin/sgi575 coverity fixes


Trivial merge